Electronic Notes in Theoretical Computer Science 89 NoURL: http://www.elsevier.nl/locate/entcs/volume89.html 14 pages Automatically Verifying Concurrent Queue Algorithms Eran Yahav Mooly Sagiv

Source URL: www.cs.technion.ac.il

• Scheduling algorithms
• Mathematics
• Concurrency control
• Cybernetics
• FIFO
• Inter-process communication
• Linearizability
• Linked list
• Scheduling
• Abstract data types
• Computing
• Concurrent computing

High Performance Dynamic Lock-Free Hash Tables and List-Based Sets Maged M. Michael IBM Thomas J. Watson Research Center P.O. Box 218 Yorktown Heights NYUSA

Source URL: www.research.ibm.com

• Computer programming
• Linked list
• Hash table
• Trie
• Mutual exclusion
• Non-blocking algorithm
• Compare-and-swap
• Software transactional memory
• Tree traversal
• Concurrency control
• Computing
• Data management

DisGeNET RDF: a gene-disease association Linked Open Data resource N´ uria Queralt-Rosinach and Laura I. Furlong Research Programme on Biomedical Informatics (GRIB), Hospital del Mar Medical Research Institute (IMIM),

Source URL: ceur-ws.org

• Data management
• Resource Description Framework
• SPARQL
• RDF Schema
• Linked data
• RDF query language
• Ontology
• Resource
• VoiD
• Semantic Web
• Computing
• Information

The  possibilities  and  challenges  of  using  linked   data  for  academic  research:  the  case  of  the  Talk   of  Europe  project   Laura  Hollink   VU

Source URL: dhbenelux.org

• DBpedia
• Open access
• Web 2.0
• Internet
• GeoNames
• Semantic Web
• World Wide Web
• Computing

GERBIL – General Entity Annotator Benchmarking Framework Ricardo Usbeck∗ Michael Röder∗

Source URL: wwwusers.di.uniroma1.it

• Semantic Web
• Natural language processing
• Semantics
• World Wide Web
• DBpedia Spotlight
• Named-entity recognition
• Word-sense disambiguation
• Linked data
• Gerbil
• Computational linguistics
• Linguistics
• Science

Complexity in named entity modelling, and linked open data TEI @ Oxford September 2014

Source URL: dixit.uni-koeln.de

• Alhazen
• Knowledge
• Science
• Stardate

From monolithic XML for print/web to lean XML for data: realising linked data for dictionaries Matt Kohl & Sandro Cirulli Language Technologists Oxford University Press (OUP)

Source URL: xmllondon.com

• XML
• Technical communication
• XProc
• Schematron
• XSLT
• Data model
• Database schema
• Computing
• Web standards
• Markup languages

BauDataWeb: The Austrian Building and Construction Materials Market as Linked Data Andreas Radinger, Bene Rodriguez-Castro, Alex Stolz, and Martin Hepp Universitaet der Bundeswehr Munich Werner-Heisenberg-Weg 39 D-85579

Source URL: semantic.eurobau.com

• World Wide Web
• Ontology
• RDF Schema
• Linked data
• Resource
• SPARQL
• Resource Description Framework
• Web Ontology Language
• Semantic Web
• Information
• Computing

Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard

Source URL: lara.epfl.ch

• Automated theorem proving
• Formal methods
• Logic in computer science
• Model theory
• KeY
• First-order logic
• Isabelle
• Formal verification
• Predicate transformer semantics
• Mathematics
• Theoretical computer science
• Mathematical logic

The Jane-athon ALA Midwinter 2015 Preconference January 30, 2015 RDA & Linked Data Diane Hillmann,

Source URL: rballs.info